
public class OrderPE extends EnvTreeNode implements PEObject{

	public OrderPE() {
		super("<PE:Order>");
	}

	public String apply(String param1, String param2){
		if ( param1.contains("tau::") ){
			return "<INT:"+(new StackTupleHandler(param1)).order+">";
		}else if ( param1.equals("<nil>")){
			return "<INT:0>";
		}else{
			System.err.print("Order: expected a tuple");
			System.exit(0);
		}
		return null;
	}
}
